More from this Author

Theorem Proving in Higher Order Logics

by Stefan Berghofer (Editor), Tobias Nipkow (Editor), Christian Urban (Editor), Makarius Wenzel (Editor)